# -*- mode: snippet -*-
# name: forall (2 args)
# key: fo2
# uuid: fo2
# --
forall ($1:$2) ($3:$4), $5
